go/types.Checker.verifyVersionf (method)
24 uses
go/types (current package)
builtins.go#L232: check.verifyVersionf(call.Fun, go1_21, "clear")
builtins.go#L539: check.verifyVersionf(call.Fun, go1_21, "built-in %s", bin.name)
builtins.go#L670: check.verifyVersionf(call.Fun, go1_17, "unsafe.Add")
builtins.go#L802: check.verifyVersionf(call.Fun, go1_17, "unsafe.Slice")
builtins.go#L823: check.verifyVersionf(call.Fun, go1_20, "unsafe.SliceData")
builtins.go#L839: check.verifyVersionf(call.Fun, go1_20, "unsafe.String")
builtins.go#L859: check.verifyVersionf(call.Fun, go1_20, "unsafe.StringData")
call.go#L45: versionErr := !check.verifyVersionf(instErrPos, go1_18, "function instantiation")
call.go#L290: check.verifyVersionf(atPos(ix.lbrack), go1_18, "function instantiation")
call.go#L605: _ = len(genericArgs) > 0 && check.verifyVersionf(args[genericArgs[0]], go1_21, "implicitly instantiated function as argument")
decl.go#L553: _ = !versionErr && check.isImportedConstraint(rhs) && check.verifyVersionf(tdecl.Type, go1_18, "using type constraint %s", rhs)
decl.go#L566: if !versionErr && tparam0 != nil && !check.verifyVersionf(tparam0, go1_23, "generic type alias") {
decl.go#L569: if !versionErr && !check.verifyVersionf(atPos(tdecl.Assign), go1_9, "type alias") {
decl.go#L621: if !versionErr && tparam0 != nil && !check.verifyVersionf(tparam0, go1_18, "type parameter") {
expr.go#L637: if !allUnsigned(y.typ) && !check.verifyVersionf(y, go1_13, invalidOp+"signed shift count %s", y) {
resolver.go#L453: _ = d.decl.Type.TypeParams.NumFields() != 0 && !hasTParamError && check.verifyVersionf(d.decl.Type.TypeParams.List[0], go1_18, "type parameter")
signature.go#L260: check.verifyVersionf(rbase, go1_18, "type instantiation")
typeset.go#L276: if pos.IsValid() && check != nil && check.isImportedConstraint(typ) && !check.verifyVersionf(atPos(pos), go1_18, "embedding constraint interface %s", typ) {
typeset.go#L285: if pos.IsValid() && check != nil && !check.verifyVersionf(atPos(pos), go1_18, "embedding interface element %s", u) {
typeset.go#L299: if pos.IsValid() && check != nil && !check.verifyVersionf(atPos(pos), go1_18, "embedding non-interface type %s", typ) {
typexpr.go#L35: if !check.verifyVersionf(e, go1_18, "predeclared %s", e.Name) {
typexpr.go#L42: if !check.verifyVersionf(e, go1_18, "predeclared %s", e.Name) {
typexpr.go#L292: check.verifyVersionf(inNode(e, ix.lbrack), go1_18, "type instantiation")
version.go#L60: func (check *Checker) verifyVersionf(at positioner, v goVersion, format string, args ...interface{}) bool {